(declare-fun x () Real)
(assert (= x 0.0))
(check-sat)
